SIGAda ‘98, Workshop: How do We Expedite the Commercial Use of Ada? (Draft)

SIGAda ‘98, Workshop: How do We Expedite the Commercial Use of Ada?

Artificial Intelligence (AI) and Ada: Integrating AI with Mainstream Software Engineering

In this report we discuss in detail pragmatic problems posed by the integration of AI with conventional software engineering, and within the framework of current Ada technology. A major objective of this work has been to begin to bridge the gap between the Ada and AI software cultures. The report summarizes survey results from the Association for Computing Machinery (ACM) Special Interest Group...

A Decentralized Online Sortition Protocol

We propose a new online sortition protocol which is decentralized. We argue that our protocol has safety, fairness, randomness, non-reputation and openness properties. Sortition is a process that makes random decision and it is used in competitions and lotteries to determine who is the winner. In the real world, sortition is simply done using a lottery machine and all the participa...

How to Work Collaboratively Within the Health System: Workshop Summary and Facilitator Reflection

Effectiveness in health services research requires development of specific knowledge and skills for working in partnership with health system decision-makers. In an initial effort to frame capacity-building activities for researchers, we designed a workshop on working collaboratively within the health system. The workshop, based on recent research exploring health syste...

تدوین پیشنویس قانون سلامت روان

Objectives Mental health acts have been developed in different countries to protect human and civil rights of people with psychiatric disorders. In Iran, although there are some scattered laws within the existing body of laws, there is no separate mental health act. The aim of the present project was to prepare a draft pertaining to the mental health act in the country. Methods The draft of th...